منابع مشابه
Code Generation = A* + BURS
A system called BURS that is based on term rewrite systems and a search algorithm A are combined to produce a code generator that generates optimal code. The theory underlying BURS is re-developed, formalised and explained in this work. The search algorithm uses a cost heuristic that is derived from the term rewrite system to direct the search. The advantage of using a search algorithm is that ...
متن کاملCode Generation to Aid Parallel Code Development
Design by Transformation (DxT) encodes domain-specific software design knowledge as graph rewrites; a tool applies these rewrites to a specification (an initial graph) to automatically derive the most efficient implementation of that graph (code). Previously, we used DxT to generate high-performance, distributed-memory dense linear algebra (DLA) code for the level-3 Basic Linear Algebra Subprog...
متن کاملAutomatic Code Generation: Model-Code Semantic Consistency
Automatic translation or code generation of software models to code may help alleviate problems associated with manual coding effort. This paper emphasizes the importance of attaining a high level of assurance that the process of automatically translating model to code is correct. It illustrates modeling experiments performed using Statemate (iLogix) to establish a correspondence between model ...
متن کاملTarget code generation from G-machine code
The G-machine is a stack machine for von-Neumann-like execution of lazy functional languages, using graph reduction. This paper describes how target code generation from G-machine code is performed in a compiler for Lazy ML. We brieey review the G-machine, and the compiler phases preceding the target code generation. Two diierent target code generation methods are described, as well as essentia...
متن کاملCode Generation as a Service
Code generation is an important tool in model-driven engineering. It eases the transition between designing models and implementing systems in code. This project aims to make code generation a web service, adding a layer of abstraction between the user’s models and the generator used to produce their code.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Open Source Software
سال: 2018
ISSN: 2475-9066
DOI: 10.21105/joss.00900